从真值表来验证（ （ p→q）∧﹁ p）├﹁q 是否为有效式。

“某些理发师留胡子。 因此， 某些留胡子的人穿白衣服。 ”这一推理若有效， 则其省略的前提是 （ ）。

• A、某些理发师不喜欢穿白衣服
• B、某些穿白衣服的理发师不留胡子
• C、所有理发师都穿白衣服
• D、所有穿白衣服的人都是理发师

若“如果某甲掌握了两门外语，那么他精通逻辑”为假，则为真的是（ ）。

• A、某甲掌握两门外语并且精通逻辑
• B、某甲掌握两门外语但不精通逻辑
• C、某甲没有掌握两门外语但精通逻辑
• D、某甲没有掌握两门外语，也不精通逻辑